logic programming
英 [ˈlɒdʒɪk ˈprəʊɡræmɪŋ]
美 [ˈlɑːdʒɪk ˈproʊɡræmɪŋ]
网络 逻辑编程; 逻辑程序设计语言; 逻辑程序设计; 逻辑规划; 逻辑式编程
英英释义
noun
- creating a program that enables the computer to reason logically
- a computer language designed in Europe to support natural language processing
双语例句
- Genetic Inductive Logic Programming Based on Bit-string Encoding
基于位串编码的遗传归纳逻辑程序设计 - Logic Programming Based Formal Analysis Method of Firewall Rules
一种基于逻辑编程的防火墙规则形式化分析方法 - Research on Event Mechanism of Variables in Constraint Logic Programming System
约束逻辑程序设计系统的变量事件机制研究 - BPU-SPAR provides the framework in which a parallel CLP ( Constraint Logic Programming) system is being developed.
BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施。 - CCS: A New Parallel Execution Model for Logic Programming Languages
CCS：一个新的逻辑式程序设计语言的并行执行模型 - Complexity of business logic programming.
业务逻辑编程的复杂性。 - On optimal problems in inductive logic programming
归纳逻辑程序设计中的优化问题研究 - The Declarative Semantics of Logic Programming Language G(?) del
逻辑程序设计语言G（？）del的说明性语义 - Constraint logic programming, which integrates consistency algorithm and heuristic search algorithm and adopts constraint reasoning, can deal with various conflicts very well and quickly get one reasonable solution.
约束逻辑程序设计综合了人工智能中一致性算法和启发式搜索算法，采用约束推理方法，能非常好地处理各种冲突，并且能快速地排出合理的课程。 - It is now really a parallel logic programming language which can execute on microcomputers in our country.
它是国内目前真正能在微型计算机上运行的一门并行逻辑程序设计语言。